Nuprl Definition : parameter 9,38
parm{i} is Primitive 
latex

FDL editor aliasesparameter

origin